% dcg/ilp2008_cora-ref_dcg1.pro


% coraref = {Authors} * Title * Venue * Year;
%
tuple(
    Authors::authors,
    Title::title,
    Venue::venue,
    Year::year
)::individual -->
    [data,'('],
        Authors::authors,
        [','],
        Title::title,
        [','],
        Venue::venue,
        [','],
        Year::year,
    [')'].


% Authors = Author -> Bool
Authors::authors --> ['['], abstraction_set_of(author,Authors), [']'].

% Author = String
Author::author --> string_of_tokens(string, Author).

% Title = String
Title::title             --> string_of_tokens(string, Title).

% Year = String
Year::year               --> string_of_tokens(string, Year).

% Venue = String
Venue::venue             --> string_of_tokens(string, Venue).


%   default_kernel(+Type, -KernelName)
%
%   K_default(string) = K_p_spectrum(1)
kernel:default_kernel(string, p_spectrum_binary(2)) :- !.

